Nancy, France - PDFSEARCH.IO - Document Search Engine

Nancy, France
Results: 204

#	Item
51	Deciding knowledge in security protocols for monoidal equational theories ⋆ V´eronique Cortier and St´ephanie Delaune LORIA, CNRS & INRIA project Cassis, Nancy, France Abstract. In formal approaches, messages sent o Add to Reading List Source URL: www.loria.fr Language: English - Date: 2007-08-10 10:11:21
52	Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2011-07-11 06:39:50
53	A method for proving observational equivalence V´eronique Cortier LORIA, CNRS & INRIA Nancy Grand Est France Email: Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-07-06 12:39:09
54	Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France Add to Reading List Source URL: www.bensmyth.com Language: English - Date: 2013-09-25 07:19:22
55	Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France Add to Reading List Source URL: www.bensmyth.com Language: English - Date: 2013-09-25 07:23:58
56	Towards an oral interface for data entry: The MAUD System Fohr, J.-P. Haton, J.-F. Mari, K. Smaïli and I. Zitouni CRIN-CNRS/ INRIA Lorraine BP239Vandoeuvre Lès-Nancy France e-mail: {fohr, jph, jfmari,smaili, zit Add to Reading List Source URL: www.ui4all.gr Language: English - Date: 2007-11-27 14:03:43
57	Decision Procedures for the Formal Analysis of Software Tutorial Overview D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen UFRN (Natal, Brasil) and LORIA & INRIA-Lorraine (Nancy, France) Add to Reading List Source URL: www.loria.fr Language: English - Date: 2006-11-18 06:54:08
58	Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2011-07-11 06:39:50
59	SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France) Add to Reading List Source URL: www.loria.fr Language: English - Date: 2006-10-25 08:45:53
60	Building, Combining and Integrating Decision Procedures for Software Verification Part: Combining D. Déharbe, P. Fontaine, S. Ranise, C. Ringeissen UFRN Natal (Brasil), LORIA Nancy (France) Add to Reading List Source URL: www.loria.fr Language: English - Date: 2006-11-18 06:55:20